Blog posts with tag "functional programming"
- Poltergeist Types2021-04-16
- Ceci n'est pas un default2019-03-11
- First Cubical Experiment2019-03-06
- Instrumenting Total Parsers Written in agdarsec2018-07-13
- Three Tricks to make Termination Obvious2016-11-24
- Parametrised Modules: (ab)using lambda-lifting2016-01-06
- Cyclic Lists, Purely2014-08-12
Tags cloud
datatype (3) functional programming (7) haskell (2) Agda (10) reflection (3) canonical structures (2) universe (2) coq (2) type safety (2) dependent types (2) binders (2) lambda calculus (3)Last update: 2024 04
